601. The Art of Modelling Computational Systems :
Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A78
2019
602. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
603. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989
604. The computer comes of age :
Author: R. Moreau ; translated by J. Howlett
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers-- History,Programming languages (Electronic computers)-- History
Classification :
QA76
.
17
.
M6713
1984
605. The definition of programming languages /
Author: Andrew D. McGettrick
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7
.
M28
606. The design and analysis of computer algorithms /
Author: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
Classification :
QA76
.
6
.
A36
607. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
608. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
609. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993
610. The programming language landscape
Author: / Henry Ledgard, Michael Marcotty
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers)
Classification :
QA
76
.
7
.
L44
1981
611. The school of Niklaus Wirth : the art of simplicity
Author: Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
756
.
S3
612. The secret life of programs :
Author: by Jonathan E. Steinhart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
Classification :
QA76
.
6
.
S735
2019
613. Theoretical aspects of object-oriented programming : types, semantics, and language design
Author: edited by Carl A. Gunter and John C. Mitchell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
Classification :
QA
76
.
64
.
T4
614. Thinking in LINQ :
Author: Sudipta Mukherjee
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Query languages (Computer science)
Classification :
QA76
.
7
615. Thinking machines and the philosophy of computer science
Author: / [edited by] Jordi Vallverdu
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
Classification :
EBL
788
616. Time-shared computer languages
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Time-sharing computer systems
Classification :
QA
76
.
7
.
S36
617. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
618. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
619. Transactions on pattern languages of programming II
Author: James Noble ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Software engineering,Software patterns
Classification :
QA76
.
76
.
P37
T73
2011
620. Transactions on pattern languages of programming IV /
Author: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
Classification :
QA76
.
76
.
P37
